Filename,Num_Variables,Num_Clauses,Total_Weight,Best_Satisfied_Weight,Best_Violated_Weight,Iterations,Elapsed_Time
test0.wcnf,20000,100000,5041089,3852578,1188511,4,2.56329
test10.wcnf,20000,100000,5057556,4216543,841013,3,2.0164
test11.wcnf,20000,100000,5046396,3996074,1050322,3,2.01185
test12.wcnf,20000,100000,5049162,4040453,1008709,3,2.01981
test13.wcnf,20000,100000,5073559,4511574,561985,4,2.65781
test14.wcnf,20000,100000,5035899,4413934,621965,3,2.01495
test15.wcnf,20000,100000,5048346,4485464,562882,3,2.03442
test16.wcnf,20000,100000,5066788,3851540,1215248,3,2.03894
test17.wcnf,20000,100000,5052619,4057636,994983,4,2.65105
test18.wcnf,20000,100000,5038557,3971825,1066732,4,2.65767
test19.wcnf,20000,100000,5040327,3960084,1080243,3,2.05643
test1.wcnf,20000,100000,5034478,3955721,1078757,4,2.58456
test2.wcnf,20000,100000,5036870,4476375,560495,3,2.01883
test3.wcnf,20000,100000,5048071,4485976,562095,3,2.05143
test4.wcnf,20000,100000,5029517,3782728,1246789,4,2.65836
test5.wcnf,20000,100000,5043097,4478488,564609,3,2.00937
test6.wcnf,20000,100000,5048395,4283344,765051,3,2.04319
test7.wcnf,20000,100000,5052142,3837208,1214934,3,2.00733
test8.wcnf,20000,100000,5058415,4493792,564623,3,2.033
test9.wcnf,20000,100000,5034124,4414232,619892,3,2.04832
